Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
561	Regular Functions Rajeev Alur University of Pennsylvania 1 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-13 10:13:47 Theoretical computer science Mathematics Combinatorics on words Models of computation Finite state transducer Finite-state machine Regular expression Regular language String Formal languages Automata theory Combinatorics
562	Automatic Streamization of Image Processing Applications Pierre Guillou, Fabien Coelho, and François Irigoin MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 10:48:46 Models of computation Programming paradigms Massively parallel processor array Dataflow architecture Dataflow programming Multi-core processor Dataflow Very long instruction word Directed acyclic graph Computing Parallel computing Computer architecture
563	Direct Construction of Compact Context-Dependency Transducers From Data David Rybach∗ Michael Riley Human Language Technology Add to Reading List Source URL: wiki.inf.ed.ac.uk Language: English - Date: 2010-11-05 06:38:47 Finite state transducer Finite-state machine Speech recognition Computer science Mathematical optimization Applied mathematics Computing Automata theory Models of computation Computational linguistics
564	MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Computer science Applied mathematics Formal verification Model checking Deterministic finite automaton Nondeterministic finite automaton State transition system Models of computation Automata theory Theoretical computer science
565	Feasibility and Infeasibility of Secure Computation with Malicious PUFs Dana Dachman-Soled1 , Nils Fleischhacker2 , Jonathan Katz1 , Anna Lysyanskaya3 , and Dominique Schr¨oder2 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-29 09:12:17 Models of computation Oblivious transfer Random oracle Oracle machine FO Query IP Advantage Cryptography Theoretical computer science Computability theory
566	A Course in Machine Learning Hal Daumé III 10 \| L EARNING T HEORY Add to Reading List Source URL: ciml.info Language: English - Date: 2014-09-24 16:08:31 Computational learning theory Machine learning Models of computation Computational complexity theory Probably approximately correct learning Algorithm Decision tree model VC dimension PP Theoretical computer science Applied mathematics Mathematics
567	The tree machine? Arnaud Spiwack MINES ParisTech Abstract. A variant of Turing machines is introduced where the tape Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-19 09:03:36 Mathematics Computability theory Formal methods Turing machine Random access machine Computational complexity theory Algorithm Lambda calculus FO Theory of computation Models of computation Theoretical computer science
568	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
569	Incremental Models of Natural Language Category Acquisition Trevor Fountain () Mirella Lapata () Institute for Language, Cognition and Computation School of Informatics, Universit Add to Reading List Source URL: www.texasexpat.net Language: English - Date: 2011-05-11 08:34:04 Semantics Natural language processing Computational linguistics Statistical natural language processing Lexical semantics Document-term matrix Semantic similarity Latent Dirichlet allocation Cluster analysis Statistics Linguistics Science
570	Microsoft PowerPoint - Computational Science - Modeling & Implementation Add to Reading List Source URL: www.challenge.nm.org Language: English - Date: 2005-10-23 11:45:58 Scientific modeling Software engineering Applied mathematics Computational science Computational model Agent-based model Scientific modelling Fortran Simulation Computing Science Models of computation

UPDATE